Siphons, traps and high-level nets with infinite color domainsSCHMIDT, K.Lecture notes in computer science. 1997, pp 271-289, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Fault section estimation of power system using colored and timed petri netsCHUN-LING YANG; YOKOYAMA, A; SEKINE, Y et al.Electrical engineering in Japan. 1995, Vol 115, Num 2, pp 89-101, issn 0424-7760Article

Contraction of the ITCPN state spaceBOUCHENEB, H; BERTHELOT, G.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on the theory and practice of timed systems. 2002, 15 p.Conference Paper

Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper

Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation = Modelling of hybrid flexible systems and taking accumulation phenomena into accountCARADEC, M; PRUNET, F.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 86-93Conference Paper

Analysing Bang & Olufsen's BeoLink® audio/video system using Coloured Petri NetsCHRISTENSEN, S; JØRGENSEN, J. B.Lecture notes in computer science. 1997, pp 387-406, issn 0302-9743, isbn 3-540-63139-9Conference Paper

On the abstraction of coloured Petri netsLAKOS, C.Lecture notes in computer science. 1997, pp 42-61, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Dynamic evolution of Z/pZ colored Petri net modelsMARTEAU, S; BOURCERIE, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 48-52, isbn 2-9502908-7-6Conference Paper

Modelling and verification of hybrid systems using hierarchical coloured petri netsGENRICH, H. J; SCHUART, I.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 17-24Conference Paper

Coordinating functional processes using Petri netsASSMANN, C.Lecture notes in computer science. 1997, pp 162-183, issn 0302-9743, isbn 3-540-63237-9Conference Paper

On proving large distributed systems: Petri net modules verificationLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 70-75, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Sémantique et validation des langages d'acteurs à l'aide des réseaux de Petri colorés = Semantic and validation of actor languages using colored Petri netsSaad Sami, Yamina; Vidal-Naquet, Guy.1993, 179 p.Thesis

Multi-agent-systems Based on coloured Petri netsMOLDT, D; WIENBERG, F.Lecture notes in computer science. 1997, pp 82-101, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Méthodes de spécification et de vérification des protocoles de communication = Specification and verification methods for communication protocolsZouari, Belhasse; Girault, Claude.1992, 277 p.Thesis

Fuzzy time semirings and fuzzy-timing colored Petri netsFUMING WU.International journal of intelligent systems. 1999, Vol 14, Num 8, pp 747-774, issn 0884-8173Article

Agent modelling with Petri NetsPURVIS, M; CRANEFIELD, S.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 602-607, isbn 2-9502908-7-6Conference Paper

Analysis of controlled technological systems using high level Petri netsGERZSON, M; HANGOS, K. M.Computers & chemical engineering. 1995, Vol 19, pp S531-S536, issn 0098-1354, SUPConference Paper

Réseaux de petri colorés et réseaux de petri continus : application à l'étude des systèmes à événements discretsAlla, Hassane; Ladet, Pierre.1987, 200 p.Thesis

An intelligent diagnostic system based on Petri netsSZÜCS, A; GERZSON, M; HANGOS, K. M et al.Computers & chemical engineering. 1998, Vol 22, Num 9, pp 1335-1344, issn 0098-1354Conference Paper

Les réseaux de Pétri stochastiques colorés; Colored stochastic Petri nets = Colored stochastic Petri netsZENIE, Alexandre.1986, 10 p.Report

Optimized Colored Nets UnfoldingKORDON, Fabrice; LINARD, Alban; PAVIOT-ADET, Emmanuel et al.Lecture notes in computer science. 2006, pp 339-355, issn 0302-9743, isbn 3-540-46219-8, 17 p.Conference Paper

FMS Reconfiguration based on Petri nets modelsBELABBAS, Aissam; BERRUET, Pascal.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol2, 1819-1824Conference Paper

On some analysis properties of colored petri net using underlying netOHTA, Atsushi; TSUII, Kohkichi.MWSCAS : Midwest symposium on circuits and systems. 2004, isbn 0-7803-8346-X, 3Vol, Vol III, 395-398Conference Paper

Integrating low level symmetries into reachability analysisSCHMIDT, K.Lecture notes in computer science. 2000, pp 315-330, issn 0302-9743, isbn 3-540-67282-6Conference Paper

Parametric Stochastic well-formed nets and compositional modellingBALLARINI, P; DONATELLI, S; FRANCESCHINIS, G et al.Lecture notes in computer science. 2000, pp 43-62, issn 0302-9743, isbn 3-540-67693-7Conference Paper